Discussion Paper NoVISION AND FLEXIBILITY IN A MODEL OF COGNITIVE DISSONANCE

Source URL: www.iser.osaka-u.ac.jp

• Critical thinking
• Cognition
• Decision theory
• Bias
• Social psychology
• Cognitive dissonance
• Cognitive bias
• Decision making
• Confirmation bias
• Mind
• Behavior
• Science

This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp

Source URL: www.cs.utah.edu

• Science
• Formal sciences
• Compiler construction
• Mathematical logic
• Proof theory
• Isabelle
• Compiler
• Mathematical proof
• Model checking
• Logic
• Mathematics
• Programming language implementation

Presentation to the United Nations Commission for Social Development 45th session, 7-16 February 2007 “Promoting employment and decent work for all Towards a good practice model in Namibia” - Research Paper -

Source URL: www.bignam.org

Verification and Validation of Agent Based Models in the Social Sciences Paul Ormerod and Bridget Rosewell, Volterra Consulting, London Abstract This paper considers some of the difficulties in es

Source URL: www.bridgetrosewell.com

• Ethology
• Pharmaceutical industry
• Validity
• Knowledge
• Agent-based model
• Computer simulation
• Economic model
• Simulation
• Verification and validation
• Science
• Scientific modeling
• Formal methods

Discussion Paper NoPUBLIC DEBT PLACES NO BURDEN ON FUTURE GENERATIONS UNDER DEMAND SHORTAGE Takayuki Ogawa

Source URL: www.iser.osaka-u.ac.jp

• Overlapping generations model
• Government debt
• Aggregate demand
• Debt
• Ricardian equivalence
• Bond
• Economics
• Macroeconomics
• Fiscal policy

2008 Paper 9 Question 1 Bioinformatics (a) A long DNA sequence is used as a training set for parameter estimation of the DNA statistical model. The observed counts of sixteen dinucleotides NXY are as follows:

Source URL: www.cl.cam.ac.uk

This discussion paper is/has been under review for the journal The Cryosphere (TC). Please refer to the corresponding final paper in TC if available. Discussion Paper The Cryosphere Discuss., 9, 3113–3136, 2015

Source URL: www.the-cryosphere-discuss.net

• Global warming
• Climate forcing
• Computational science
• Global climate model
• Cryosphere
• Climate
• Proxy
• Earth
• Atmospheric sciences
• Climatology

Microsoft Word - VanLehn ICCE AI AMT paper V2.doc

Source URL: www.nectec.or.th

• Teaching
• Intelligent tutoring system
• Tutor
• Agent-based model
• Education
• Educational psychology
• Learning

This discussion paper is/has been under review for the journal Geoscientific Model Development (GMD). Please refer to the corresponding final paper in GMD if available. Discussion Paper Geosci. Model Dev. Discuss., 8, 4

Source URL: www.geosci-model-dev-discuss.net

To appear at EPIC 2013: Ethnographic Praxis in Industry Conference, 15-18 September 2013, Royal Institution, London. Full paper will be published, openaccess, in proceedings by American Anthropological Association, Washi

Source URL: www.suslabnwe.eu

• Anthropology
• Sociology
• Evaluation
• Qualitative research
• Scientific method
• Ethnography
• Service design
• Economic model
• Evaluation methods
• Science
• Methodology